Exchange lemmas 2 : General Exchange Lemma ✩
نویسنده
چکیده
Exchange lemmas are used in geometric singular perturbation theory to track flows near normally hyperbolic invariant manifolds. We prove a General Exchange Lemma, and show that it implies versions of existing exchange lemmas for rectifiable slow flows and loss-of-stability turning points. © 2007 Elsevier Inc. All rights reserved. MSC: 34E15; 34C30
منابع مشابه
Exchange lemmas 1 : Deng ’ s lemma ✩
Deng’s lemma gives estimates on the behavior of solutions of ordinary differential equations in the neighborhood of a partially hyperbolic equilibrium. We prove a generalization in which “partially hyperbolic equilibrium” is replaced by “normally hyperbolic invariant manifold.” © 2007 Elsevier Inc. All rights reserved. MSC: 34E15; 34B15; 34C30
متن کاملLemma selection in domain specific computational lexica - some specific problems
This paper describes the lemma selection process of a Danish computational lexicon, the STO project, for domain specific language and focuses on some specific problems encountered during the lemma selection process. After a short introduction to the STO project and an explanation of why the lemmas are selected from a corpus and not chosen from existing dictionaries, the lemma selection process ...
متن کاملDraft for LabPhon7 The Role of the Lemma in Form Variation
A key problem in building a complete model of the lexicon is understanding the complex relationship between semanticallyand syntactically-defined lexical entries (‘lemmas’ in the terminology of Levelt (1983)), and phonological forms (‘wordforms’ or ‘lexemes’). One reason for the complexity is that the relationship is not one-to-one. For example in homophones like still, a single wordform /stIl/...
متن کاملThe Use of Lemmas in the Model Elimination
When the Model Elimination (ME) procedure was rst proposed, a notion of lemma was put forth as a promising augmentation to the basic complete proof procedure. Here the lemmas that are used are also discovered by the procedure in the same proof run. Several implementations of ME now exist but only a 1970's implementation explicitly examined this lemma mechanism, with indiierent results. We repor...
متن کاملThe Use of Lemmas in the Model
When the Model Elimination (ME) procedure was rst proposed, a notion of lemma was put forth as a promising augmentation to the basic complete proof procedure. Here the lemmas that are used are also discovered by the procedure in the same proof run. Several implementations of ME now exist but only a 1970's implementation explicitly examined this lemma mechanism, with indiierent results. We repor...
متن کامل